#ifndef  __RAVI_TRACE_H__
#define  __RAVI_TRACE_H__

void raviOutputDebugTime(const char* name);

#endif   /* ----- #ifndef __RAVI_TRACE_H__  ----- */
